An approach to computing downward closures

The downward closure of a word language is the set of all (not necessarily contiguous) subwords of its members. It is well-known that the downward closure of any language is regular. While the downward closure appears to be a powerful abstraction, algorithms for computing a finite automaton for the downward closure of a given language have been established only for few language classes. This work presents a simple general method for computing downward closures. For language classes that are closed under rational transductions, it is shown that the computation of downward closures can be reduced to checking a certain unboundedness property. This result is used to prove that downward closures are computable for (i) every language class with effectively semilinear Parikh images that are closed under rational transductions, (ii) matrix languages, and (iii) indexed languages (equivalently, languages accepted by higher-order pushdown automata of order 2).Comment: Full version of contribution to ICALP 2015. Comments welcom

Behavior patterns of online users and the effect on information filtering

Understanding the structure and evolution of web-based user-object bipartite networks is an important task since they play a fundamental role in online information filtering. In this paper, we focus on investigating the patterns of online users' behavior and the effect on recommendation process. Empirical analysis on the e-commercial systems show that users have significant taste diversity and their interests for niche items highly overlap. Additionally, recommendation process are investigated on both the real networks and the reshuffled networks in which real users' behavior patterns can be gradually destroyed. Our results shows that the performance of personalized recommendation methods is strongly related to the real network structure. Detail study on each item shows that recommendation accuracy for hot items is almost maximum and quite robust to the reshuffling process. However, niche items cannot be accurately recommended after removing users' behavior patterns. Our work also is meaningful in practical sense since it reveals an effective direction to improve the accuracy and the robustness of the existing recommender systems.Comment: 8 pages, 6 figure

The Study of Isomeric Ratios in Photonuclear Reactions Forming High Spin Isomers in the Giant Dipole Resonance Region

We studied the isomeric ratios  in  odd-odd nuclei $^{196}$Au,$^{182}$Ta  and $^{194}$Ir  with    high spin isomeric states  produced  in $^{197}$Au$(\gamma,  n)$ $^{196m,g}$Au, $^{183}$W$(\gamma,  p)$ $^{182m,g}$Ta  and $^{185}$Pt$(\gamma,  p)$$^{194m,g}$Ir  reactions  by  using  the activation  technique  and  $\gamma$-ray  spectroscopic  method  in  the  giant    dipole  resonance  (GDR)  region.  The high-purity natural Au, W and Pt  foils in disc shape were irradiated with bremsstrahlungs  generated from an  electron  accelerator  Microtron.  The  irradiated  foils  were  measured  by  the  high  resolution  $\gamma$-ray spectroscopic system which consists of a Ge(HP) detector and a multichannel analyzer. In order to improve the  accuracy  of  the  experimental  results,  necessary  corrections  were  made  in  the  $\gamma$-ray  activity measurements and data analysis.  The results were  analyzed,  discussed and compared with those of other authors  as well as with theoretical model calculations.  The study shows that the isomeric ratios in  nuclei with high spin isomeric states are much lower than that in low spin isomeric state isomers

Orientation Effects in Ballistic High-Strained P-type Si Nanowire FETs

In order to design and optimize high-sensitivity silicon nanowire-field-effect transistor (SiNW FET) pressure sensors, this paper investigates the effects of channel orientations and the uniaxial stress on the ballistic hole transport properties of a strongly quantized SiNW FET placed near the high stress regions of the pressure sensors. A discrete stress-dependent six-band k.p method is used for subband structure calculation, coupled to a two-dimensional Poisson solver for electrostatics. A semi-classical ballistic FET model is then used to evaluate the ballistic current-voltage characteristics of SiNW FETs with and without strain. Our results presented here indicate that [110] is the optimum orientation for the p-type SiNW FETs and sensors. For the ultra-scaled 2.2 nm square SiNW, due to the limit of strong quantum confinement, the effect of the uniaxial stress on the magnitude of ballistic drive current is too small to be considered, except for the [100] orientation. However, for larger 5 nm square SiNW transistors with various transport orientations, the uniaxial tensile stress obviously alters the ballistic performance, while the uniaxial compressive stress slightly changes the ballistic hole current. Furthermore, the competition of injection velocity and carrier density related to the effective hole masses is found to play a critical role in determining the performance of the nanotransistors

Structuring heterogeneous biological information using fuzzy clustering of k-partite graphs

<p>Abstract</p> <p>Background</p> <p>Extensive and automated data integration in bioinformatics facilitates the construction of large, complex biological networks. However, the challenge lies in the interpretation of these networks. While most research focuses on the unipartite or bipartite case, we address the more general but common situation of <it>k</it>-partite graphs. These graphs contain <it>k </it>different node types and links are only allowed between nodes of different types. In order to reveal their structural organization and describe the contained information in a more coarse-grained fashion, we ask how to detect clusters within each node type.</p> <p>Results</p> <p>Since entities in biological networks regularly have more than one function and hence participate in more than one cluster, we developed a <it>k</it>-partite graph partitioning algorithm that allows for overlapping (fuzzy) clusters. It determines for each node a degree of membership to each cluster. Moreover, the algorithm estimates a weighted <it>k</it>-partite graph that connects the extracted clusters. Our method is fast and efficient, mimicking the multiplicative update rules commonly employed in algorithms for non-negative matrix factorization. It facilitates the decomposition of networks on a chosen scale and therefore allows for analysis and interpretation of structures on various resolution levels. Applying our algorithm to a tripartite disease-gene-protein complex network, we were able to structure this graph on a large scale into clusters that are functionally correlated and biologically meaningful. Locally, smaller clusters enabled reclassification or annotation of the clusters' elements. We exemplified this for the transcription factor MECP2.</p> <p>Conclusions</p> <p>In order to cope with the overwhelming amount of information available from biomedical literature, we need to tackle the challenge of finding structures in large networks with nodes of multiple types. To this end, we presented a novel fuzzy <it>k</it>-partite graph partitioning algorithm that allows the decomposition of these objects in a comprehensive fashion. We validated our approach both on artificial and real-world data. It is readily applicable to any further problem.</p

Roadmap on Label-Free Super-resolution Imaging

Label-free super-resolution (LFSR) imaging relies on light-scattering processes in nanoscale objects without a need for fluorescent (FL) staining required in super-resolved FL microscopy. The objectives of this Roadmap are to present a comprehensive vision of the developments, the state-of-the-art in this field, and to discuss the resolution boundaries and hurdles that need to be overcome to break the classical diffraction limit of the label-free imaging. The scope of this Roadmap spans from the advanced interference detection techniques, where the diffraction-limited lateral resolution is combined with unsurpassed axial and temporal resolution, to techniques with true lateral super-resolution capability that are based on understanding resolution as an information science problem, on using novel structured illumination, near-field scanning, and nonlinear optics approaches, and on designing superlenses based on nanoplasmonics, metamaterials, transformation optics, and microsphere-assisted approaches. To this end, this Roadmap brings under the same umbrella researchers from the physics and biomedical optics communities in which such studies have often been developing separately. The ultimate intent of this paper is to create a vision for the current and future developments of LFSR imaging based on its physical mechanisms and to create a great opening for the series of articles in this field.Peer reviewe

Path integration over closed loops and Gutzwiller's trace formula

In 1967 M.C. Gutzwiller succeeded to derive the semiclassical expression of the quantum energy density of systems exhibiting a chaotic Hamiltonian dynamics in the classical limit. The result is known as the Gutzwiller trace formula. The scope of this review is to present in a self-contained way recent developments in functional determinant theory allowing to revisit the Gutzwiller trace formula in the spirit of field theory. The field theoretic setup permits to work explicitly at every step of the derivation of the trace formula with invariant quantities of classical periodic orbits. R. Forman's theory of functional determinants of linear, non singular elliptic operators yields the expression of quantum quadratic fluctuations around classical periodic orbits directly in terms of the monodromy matrix of the periodic orbits. The phase factor associated to quadratic fluctuations, the Maslov phase, is shown to be specified by the Morse index for closed extremals, also known as Conley and Zehnder index.Comment: Preprint, revised version 132 pages in pdf format. Comments welcom

Shattered pellet injection experiments at JET in support of the ITER disruption mitigation system design

A series of experiments have been executed at JET to assess the efficacy of the newly installed shattered pellet injection (SPI) system in mitigating the effects of disruptions. Issues, important for the ITER disruption mitigation system, such as thermal load mitigation, avoidance of runaway electron (RE) formation, radiation asymmetries during thermal quench mitigation, electromagnetic load control and RE energy dissipation have been addressed over a large parameter range. The efficiency of the mitigation has been examined for the various SPI injection strategies. The paper summarises the results from these JET SPI experiments and discusses their implications for the ITER disruption mitigation scheme

The role of ETG modes in JET-ILW pedestals with varying levels of power and fuelling

We present the results of GENE gyrokinetic calculations based on a series of JET-ITER-like-wall (ILW) type I ELMy H-mode discharges operating with similar experimental inputs but at different levels of power and gas fuelling. We show that turbulence due to electron-temperature-gradient (ETGs) modes produces a significant amount of heat flux in four JET-ILW discharges, and, when combined with neoclassical simulations, is able to reproduce the experimental heat flux for the two low gas pulses. The simulations plausibly reproduce the high-gas heat fluxes as well, although power balance analysis is complicated by short ELM cycles. By independently varying the normalised temperature gradients (omega(T)(e)) and normalised density gradients (omega(ne )) around their experimental values, we demonstrate that it is the ratio of these two quantities eta(e) = omega(Te)/omega(ne) that determines the location of the peak in the ETG growth rate and heat flux spectra. The heat flux increases rapidly as eta(e) increases above the experimental point, suggesting that ETGs limit the temperature gradient in these pulses. When quantities are normalised using the minor radius, only increases in omega(Te) produce appreciable increases in the ETG growth rates, as well as the largest increases in turbulent heat flux which follow scalings similar to that of critical balance theory. However, when the heat flux is normalised to the electron gyro-Bohm heat flux using the temperature gradient scale length L-Te, it follows a linear trend in correspondence with previous work by different authors

Spectroscopic camera analysis of the roles of molecularly assisted reaction chains during detachment in JET L-mode plasmas

The roles of the molecularly assisted ionization (MAI), recombination (MAR) and dissociation (MAD) reaction chains with respect to the purely atomic ionization and recombination processes were studied experimentally during detachment in low-confinement mode (L-mode) plasmas in JET with the help of experimentally inferred divertor plasma and neutral conditions, extracted previously from filtered camera observations of deuterium Balmer emission, and the reaction coefficients provided by the ADAS, AMJUEL and H2VIBR atomic and molecular databases. The direct contribution of MAI and MAR in the outer divertor particle balance was found to be inferior to the electron-atom ionization (EAI) and electron-ion recombination (EIR). Near the outer strike point, a strong atom source due to the D+2-driven MAD was, however, observed to correlate with the onset of detachment at outer strike point temperatures of Te,osp = 0.9-2.0 eV via increased plasma-neutral interactions before the increasing dominance of EIR at Te,osp &lt; 0.9 eV, followed by increasing degree of detachment. The analysis was supported by predictions from EDGE2D-EIRENE simulations which were in qualitative agreement with the experimental observations